<?xml version="1.0" ?>
<!DOCTYPE PISI SYSTEM "https://pisilinux.org/projeler/pisi/pisi-spec.dtd">
<PISI>
	<Source>
		<Name>z3</Name>
		<Homepage>https://github.com/Z3Prover/z3</Homepage>
		<Packager>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Packager>
		<License>MIT</License>
		<IsA>library</IsA>
		<PartOf>programming.library</PartOf>
		<Summary>The Z3 Theorem Prover.</Summary>
		<Description>Z3 is a theorem prover from Microsoft Research.</Description>
		<Archive sha1sum="98377064e474567d37400a636dfc80602c4cad3d" type="targz">
			https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.1.tar.gz
		</Archive>
		<BuildDependencies>
			<Dependency>cmake</Dependency>
			<Dependency>ninja</Dependency>
			<Dependency>gmp-devel</Dependency>
			<Dependency>python3-devel</Dependency>
			<Dependency>python3-setuptools</Dependency>
		</BuildDependencies>
		<Patches>
			<!-- <Patch level="1">missing.patch</Patch> -->
		</Patches>
	</Source>

	<Package>
		<Name>z3</Name>
		<RuntimeDependencies>
			<Dependency>gmp</Dependency>
			<Dependency>libgcc</Dependency>
			<!-- <Dependency>python3</Dependency> -->
		</RuntimeDependencies>
		<Files>
			<Path fileType="executable">/usr/bin</Path>
			<Path fileType="library">/usr/lib</Path>
			<Path fileType="doc">/usr/share/doc</Path>
		</Files>
	</Package>

	<Package>
		<Name>python3-z3</Name>
		<PartOf>programming.language.python3</PartOf>
		<RuntimeDependencies>
			<Dependency release="current">z3</Dependency>
			<Dependency>python3</Dependency>
		</RuntimeDependencies>
		<Files>
			<Path fileType="library">/usr/lib/python*</Path>
		</Files>
	</Package>

	<Package>
		<Name>z3-devel</Name>
		<RuntimeDependencies>
			<Dependency release="current">z3</Dependency>
		</RuntimeDependencies>
		<Files>
			<Path fileType="header">/usr/include</Path>
			<Path fileType="library">/usr/lib/pkgconfig</Path>
			<Path fileType="library">/usr/lib/cmake</Path>
		</Files>
	</Package>

	<History>
		<Update release="7">
			<Date>2023-01-28</Date>
			<Version>4.12.1</Version>
			<Comment>Version bump</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="6">
			<Date>2022-09-05</Date>
			<Version>4.11.2</Version>
			<Comment>Version bump.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="5">
			<Date>2022-05-28</Date>
			<Version>4.8.17</Version>
			<Comment>Version bump.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="4">
			<Date>2021-10-11</Date>
			<Version>4.8.12</Version>
			<Comment>Version bump.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="3">
			<Date>2021-07-05</Date>
			<Version>4.8.11</Version>
			<Comment>Version bump.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="2">
			<Date>2021-03-24</Date>
			<Version>4.8.10</Version>
			<Comment>Version bump.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
		<Update release="1">
			<Date>2020-10-08</Date>
			<Version>4.8.9</Version>
			<Comment>First build.</Comment>
			<Name>fury</Name>
			<Email>uglyside@yandex.ru</Email>
		</Update>
	</History>
</PISI>
